Rosen’s (M,R) system in process algebra

Process algebra for dynamic system modeling

Process algebra is the study of distributed or parallel systems by algebraic means. Originating in computer science, process algebra has been extended in recent years to encompass not just discrete event, reactive systems, but also continuously evolving phenomena, resulting in so-called hybrid process algebras. A hybrid process algebra can be used for the specification, simulation, control and ...

Probabilistic Process Algebra Probabilistic Process Algebra

Belief in Process Algebra

In this paper we present a framework to model falsehood in a system. A falsehood or lie is an intended false positive announced by a principal with an objective to deceive other principals. An utterance of lie is said to be successful if other principals believe it. The framework introduced in this paper is essentially a combination of operational model and epistemic model allowing us to expres...

Resources in process algebra

The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the timing behavior of a real-time system depends not only on delays due to process synchronization, but also on the availability of shared resources. Thus, ACSR employs resources as a basic primitive and it represents a r...

Process Algebra in PVS

The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the verification system PVS. One approach declares process terms as an uninterpreted type and specifies equality on terms by axioms. This is convenient for concrete applications where the rewrite mechanisms of PVS can be exp...